منابع مشابه
Automated simplification of large symbolic expressions
We present a set of algorithms for automated simplification of constants of the form ∑ i αixi with αi rational and xi complex. The included algorithms, called SimplifySums and implemented in Mathematica, remove redundant terms, attempt to make terms and the full expression real, and remove terms using repeated application of the integer relation detection algorithm PSLQ. Also included are facil...
متن کاملThe symbolic computation of vector field expressions
This is an expository paper explaining how trees can be used to compute effectively the vector field expressions which arise in nonlinear control theory. It also describe the mathematical structure that sets of trees carry.
متن کاملSimplification of Symbolic-Numerical Interval Expressions∗
Although interval arithmetic is increasingly used in combination with computer algebra and other methods, both approaches — symbolic-algebraic and interval-arithmetic — are used separately. Implementing symbolic interval arithmetic seems not suitable due to the exponential growth in the “size” of the end-points. In this paper we propose a methodology for “true” symbolic-algebraic manipulations ...
متن کاملLearning Continuous Semantic Representations of Symbolic Expressions
The question of how procedural knowledge is represented and inferred is a fundamental problem in machine learning and artificial intelligence. Recent work on program induction has proposed neural architectures, based on abstractions like stacks, Turing machines, and interpreters, that operate on abstract computational machines or on execution traces. But the recursive abstraction that is centra...
متن کاملSymbolic Neutrosophic Theory
Symbolic (or Literal) Neutrosophic Theory is referring to the use of abstract symbols (i.e. the letters T, I, F, or their refined indexed letters Tj, Ik, Fl) in neutrosophics. We extend the dialectical triad thesis-antithesis-synthesis to the neutrosophic tetrad thesis-antithesis-neutrothesis-neutrosynthesis. The we introduce the neutrosophic system that is a quasi or (t,i,f) classical system, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1983
ISSN: 0304-3975
DOI: 10.1016/0304-3975(83)90137-8